妈湾电厂BMS系统逻辑优化

锅炉燃烧器管理系统 (BMS)是大型机组分散控制系统 (DCS)的重要组成部分。根据BMS系统的维护经验 ,提出了控制逻辑的优化方案     

超媒体模型中时态行为研究

实现超体系统的关键之一是提供对多媒体同步的支持，文中在Ｄｅｘｔｅｒ参考模型的基础，进行了合理的扩充以描述和存储多媒体数据库的时态参数，并 了相应的展示算法。     

处理知识库中不一致性的超决定逻辑研究

本文首先分析了现有的能够处理知识库中不一致性的逻辑的不足，然后定义了超决定结构、模型和语义的概念，具体描述了超决定语义的计算过程，从而给出了一种能够处理知识库中不一致性的逻辑,并对该逻辑进行了一些讨论.     

约束数据库中的索引

本文研究了约束数据库中的索引技术，提出了存储区间常数刺穿集的数据结构S树和S^*树．在刺穿集的最大长度受到限制的条件下，S^*树存储效率是最优的．与M树相比，S树和S^*树有一个明显的改进：可以支持删除操作．     

国外模糊传感器样机的研究综述

简要介绍了模糊传感器的概念与功能，综述了国外模糊传感器样机的研制情况，并展望了模糊传感器的发展趋势。     

一种控制机械手的自调节模糊逻辑控制器

介绍了一种机械手的模糊逻辑控制的新方法.它能根据系统的前期响应自动修改 误差变化率的隶属函数来获得理想的控制特性.在研究隶属函数对控制特性影响的基础上, 首先确定一族参数化的隶属函数.然后,用Nelder-Mead单纯形算法优化模糊逻辑控制器. 最后,用该模糊控制器控制一个具有非线性动力学特征的两自由度机械手,验证了所提方案 的有效性和鲁棒性.     

The uses of fuzzy logic in autonomous robot navigation

 The development of techniques for autonomous navigation in real-world environments constitutes one of the major trends in the current research on robotics. An important problem in autonomous navigation is the need to cope with the large amount of uncertainty that is inherent of natural environments. Fuzzy logic has features that make it an adequate tool to address this problem. In this paper, we review some of the possible uses of fuzzy logic in the field of autonomous navigation. We focus on four issues: how to design robust behavior-producing modules; how to coordinate the activity of several such modules; how to use data from the sensors; and how to integrate high-level reasoning and low-level execution. For each issue, we review some of the proposals in the literature, and discuss the pros and cons of fuzzy logic solutions. Received: 31 March 1997 / Accepted: 24 September 1997     

On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods.     

Factored Edge-Valued Binary Decision Diagrams

Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagrams. By associating both an additive and a multiplicative weight with the edges, FEVBDDs can be used to represent a wider range of functions concisely. As a result, the computational complexity for certain operations can be significantly reduced compared to EVBDDs. Additionally, the introduction of multiplicative edge weights allows us to directly represent the so-called complement edges which are used in OBDDs, thus providing a one to one mapping of all OBDDs to FEVBDDs. Applications such as integer linear programming and logic verification that have been proposed for EVBDDs also benefit from the extension. We also present a complete matrix package based on FEVBDDs and apply the package to the problem of solving the Chapman-Kolmogorov equations.     

基于CPN的模糊控制器系统设计及其应用研究

本文给出一种基对于向传播网络ＣＰＮ的模糊控制器设计。该网络经训练后能得到模糊规则并且具有自动学习功能，在控制性能上较普通控制器有所改进。最后给出加压钢前箱系统的应用实例。